formal logic

  1. İsim biçimsel mantık, genel/surî mantık: düşünmenin içerik bakımdan doğruluğunu değil, biçimsel doğruluğunu inceleyen mantık dalı.